is_unique_value

function is_unique_value(instance: instance, attribute: attribute, elements: gtv): boolean